<html>
<head><meta charset="utf-8"><title>I-prioritize #69487 ICE: The type checker should prevent re… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html">I-prioritize #69487 ICE: The type checker should prevent re…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="220533508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220533508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220533508">(Dec 20 2020 at 19:31)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/69487">#69487</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="220538255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220538255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220538255">(Dec 20 2020 at 21:28)</a>:</h4>
<p>Note that this ICEs on stable.</p>



<a name="220538258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220538258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220538258">(Dec 20 2020 at 21:28)</a>:</h4>
<blockquote>
<p><strong>oli-obk:</strong> this is a general issue with const eval. Typeck needs to const eval certain constants, for which we may not have invoked typeck yet. This ordering issue has existed since 1.0 afaik.</p>
</blockquote>



<a name="220538263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220538263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220538263">(Dec 20 2020 at 21:28)</a>:</h4>
<p>Apparently Oli's example ICEs since 1.36.</p>



<a name="220538266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220538266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220538266">(Dec 20 2020 at 21:29)</a>:</h4>
<p>I kind of feel like we shouldn't prioritize this one. What do you think?</p>



<a name="220539353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539353">(Dec 20 2020 at 22:00)</a>:</h4>
<p>well, it still shouldn't ice</p>



<a name="220539357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539357">(Dec 20 2020 at 22:01)</a>:</h4>
<p><code>P-medium</code> imo</p>



<a name="220539367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539367">(Dec 20 2020 at 22:01)</a>:</h4>
<p>The example ICE is kind of obviously wrong</p>



<a name="220539409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539409">(Dec 20 2020 at 22:02)</a>:</h4>
<p>Though I'd imagine that in more complex code this might not be as obvious</p>



<a name="220539415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539415">(Dec 20 2020 at 22:02)</a>:</h4>
<p>I'm fine with <code>P-medium</code> or even <code>P-low</code></p>



<a name="220539419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539419">(Dec 20 2020 at 22:02)</a>:</h4>
<p>this is something I want to see fixed</p>



<a name="220539421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539421">(Dec 20 2020 at 22:02)</a>:</h4>
<p>so <code>P-low</code> doesn't seem appropriate to me here</p>



<a name="220539422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539422">(Dec 20 2020 at 22:02)</a>:</h4>
<p>Right, let's go for <code>P-medium</code></p>



<a name="220539441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539441">(Dec 20 2020 at 22:03)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/69487">#69487</a>'s prioritization request has been removed.</p>



<a name="220539443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2369487%20ICE%3A%20The%20type%20checker%20should%20prevent%20re%E2%80%A6/near/220539443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2369487.20ICE.3A.20The.20type.20checker.20should.20prevent.20re.E2.80.A6.html#220539443">(Dec 20 2020 at 22:03)</a>:</h4>
<p>Done.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>